Capturing human behaviour
نویسندگان
چکیده
منابع مشابه
Capturing Resource Behaviour From Event Logs
Process mining mainly focuses on the retrieval of process models from event logs. As these discovery algorithms make assumptions, performance analyses based on these models can present a biased view. In literature, algorithm-agnostic process metrics have been introduced. Given the critical importance of resources in the light of continuous process improvement, this paper extends the process met...
متن کاملExtending Temporal Logic for Capturing Evolving Behaviour
The known approaches to object speciication based on rst-order temporal logic fail in capturing the often occurring need to change the dynamic behaviour of a system during lifetime of that system. Usually all possible behaviours have to be described in advance, i.e. at spec-iication time. Therefore, we here present an extension going beyond rst-order temporal logic. Now, it becomes possible to ...
متن کاملCapturing Behaviour for the Use of Avatars in Virtual Environments
Avatars, representations of people in virtual environments, are subject to human control. However, for most applications, it is impractical for a person to directly control each joint in a complex avatar. Rather, people must be allowed to specify complex behaviours with simple instructions and the avatar permitted to select the correct movements in sequence to execute the instruction. This requ...
متن کاملCapturing and Matching Dynamic Behaviour in Case-Based Reasoning
A b s t r a c t . In the telecommunications domain, reuse of service specifications is a major issue. However, it has proved difficult to modularise services because of the high degree of interaction between them. Direct application of formal logics to the specification of services has proved impractical because of the size of the services. However, much of this complexity stems from the detail...
متن کاملPEPA Queues: Capturing Customer Behaviour in Queueing Networks
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. We present the PEPA Queues formalism, which uses the popular stochastic process algebra PEPA to represent the individual state and behaviour of customers and servers. We offer a formal semantics for PEPA Queues, plus a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2007
ISSN: 0028-0836,1476-4687
DOI: 10.1038/446733a